\(x: T) -> \(y: U) -> x
